منابع مشابه
New Criteria for Existence of a Class of Generalized Euler-types Constants
One of the most important mathematical constants is Euler-Mascheroni constant that is the limit of the sequence -------------------------------- and is denoted by gamma. Some other developed constants known as Euler type constants are introduced in order to generalize the above constant. In the present paper, inspired by the functional sequence derivative of the limit summand of functions (i...
متن کاملSufficient Conditions for a New Class of Polynomial Analytic Functions of Reciprocal Order alpha
In this paper, we consider a new class of analytic functions in the unit disk using polynomials of order alpha. We give some sufficient conditions for functions belonging to this class.
متن کاملA New Class of Spatial Covariance Functions Generated by Higher-order Kernels
Covariance functions and variograms play a fundamental role in exploratory analysis and statistical modelling of spatial and spatio-temporal datasets. In this paper, we construct a new class of spatial covariance functions using the Fourier transform of some higher-order kernels. Moreover, we extend this class of spatial covariance functions to the spatio-temporal setting using the idea used in...
متن کاملA First-Order Logic with First-Class Types
This paper presents a strongly complete calculus for a firstorder statically-typed predicate logic with first-class types, type predicates and casts, provided that the type hierarchy is Noetherian. We show that this restriction cannot be relaxed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematical Logic
سال: 1976
ISSN: 0003-4843
DOI: 10.1016/0003-4843(76)90001-2